441. Mathematical foundations of computer science 1999 :
پدیدآورنده : Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.
442. Mathematical logic and theoretical computer science
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
2
.
M35
1987
443. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic data processing - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
L8
1989
444. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
445. Mathematical logic for computer science
پدیدآورنده : Lu, Zhong-Wan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35L8
1989
446. Mathematical problems from applied logic I :
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA9
.
A1
M38
2006eb
447. Mathematical structures for computer science /
پدیدآورنده : Judith L. Gersting.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics.,Mathematical models.,Mathematics.,Ciência da computação.,Computer science-- Mathematics.,Informatik.,Matemática.,Mathematical models.,Mathematics.,Mathematik.,Modelos matemáticos.
رده :
QA39
.
3
.
G47
2003
448. Mathematics and Computer Science III
پدیدآورنده : edited by Michael Drmota, Philippe Flajolet, Danièle Gardy, Bernhard Gittenberger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorics.,Computer science.,Distribution (Probability theory).,Mathematics.,Visualization.
449. Mathematics and the natural sciences :
پدیدآورنده : Francis Bailly, Giuseppe Longo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Biomathematics,Mathematical models,Mathematics-- Philosophy,Physics-- Philosophy,Space and time
450. Mathematics for computer students
پدیدآورنده : Witton, Rex
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer science - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
W57
1992
451. Mathematics for the Analysis of Algorithms
پدیدآورنده : \ Daniel H. Greene, Donald E. Knuth
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics,Computer software,Algorithms,ریاضیات,نرم‌افزار,ال‍گ‍وری‍ت‍م‌ه‍ا
رده :
E-Book
,
452. Mathematics for the Analysis of Algorithms
پدیدآورنده : by Daniel H. Greene, Donald E. Knuth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithms.,Computer science.,Computer software.,Mathematics.
453. Mathematics for the analysis of algorithms
پدیدآورنده : / Daniel H. Greene, Donald E. Knuth
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer programming,Algorithms
رده :
QA76
.
6
.
G7423
1990
454. Mathematics for the analysis of algorithms
پدیدآورنده : Daniel H. Greene, Donald E. Knuth,Title
موضوع : Electronic digital computers - Programming,Computer algorithms
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
455. Mathematics for the analysis of algorithms
پدیدآورنده : Greene, Daniel H., 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programming,، Algorithms
رده :
QA
76
.
6
.
G745
1990
456. Mathematics of Fuzzy Sets and Fuzzy Logic
پدیدآورنده : / Barnabas Bede
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
457. Mathematics of Fuzzy Sets and Fuzzy Logic
پدیدآورنده : / Barnabas Bede
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
458. Mathematics of Ramsey Theory
پدیدآورنده : edited by Jaroslav Nešetřil, Vojtěch Rödl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorial analysis.,Logic, Symbolic and mathematical.,Mathematics.
459. Mathematik für Software Engineering /
پدیدآورنده : Stephan Dreiseitl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematik.,Software Engineering.
460. Model and data engineering :
پدیدآورنده : El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer architecture, Congresses.,Database management, Congresses.,Knowledge management, Congresses.,Artificial Intelligence.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer architecture.,Computer programming / software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Database management.,Information retrieval.,Knowledge management.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
D3
